نمایش نتایج جستجو برای
نویسنده: رسول رمضانیان
موارد یافت شده: 13
1 - A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving (چکیده)2 - A Note on Group Authentication Schemes (چکیده)
3 - Coverage improvement in femtocell networks via efficient utility pricing (چکیده)
4 - An efficient hybrid approach based on K-means and generalized fashion algorithms for cluster analysis (چکیده)
5 - Diffusion of innovations over multiplex social networks (چکیده)
6 - A Computational Model and Convergence Theorem for Rumor Dissemination in Social Networks (چکیده)
7 - Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions (چکیده)
8 - The double negation of the intermediate value theorem (چکیده)
9 - A Solution to the Surprise Exam Paradox in Constructive Mathematics (چکیده)
10 - On the Constructive Notion of Closure Maps (چکیده)
11 - A process Algebraic form to represent extensive games (چکیده)
12 - Simulation of Skulduggery in a Multi-Agent System (چکیده)
13 - Decidability and Specker Sequences in Intuitionistic Mathematics (چکیده)